<?php
$data = file_get_contents("./source.php");
echo "<pre>".htmlspecialchars($data)."</pre>";
?>